all: documentation catkin
	@echo
	@echo
	@echo "ALL DONE CORRECTLY!"

catkin:
	bash -c "source ~/Workspace/ros/rosbuild_ws/setup.bash; \
	cd ~/Workspace/ros/catkin_ws; \
	catkin_make"

documentation:
	bash -c "cd doc; make"